$\forall$${\it es}$:ES, $P$:(E$\rightarrow\mathbb{P}$), $j$:E. ($\forall$$e$:E. $e$ c$\leq$ $j$ $\Rightarrow$ Dec($P$($e$))) $\Rightarrow$ Dec($\forall$$k$:E. $k$ c$\leq$ $j$ $\Rightarrow$ $P$($k$))